Rybalov A. N. «On generic NP-completeness of the problem of Boolean circuits satisfiability» // Applied Discrete Mathematics 2020. №47 C.101-107
Rybalov A. N. «On generic NP-completeness of the Boolean satisfiability problem» // Applied Discrete Mathematics 2017. №36 C.106-112